Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
441	Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-28 08:11:48 Logic in computer science Aspect-oriented programming Formal verification Model checking Grammatical aspect E Formal specification Abstraction Software development Formal methods Aspect-oriented software development
442	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming
443	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
444	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.org Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
445	Lessons from 342 Medical Device Failures Dolores R. Wallace and D. Richard Kuhn Information Technology Laboratory National Institute of Standards and Technology Gaithersburg, MDUSA , Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-10-25 08:50:39 Systems science Software quality Software engineering Reliability engineering Survival analysis Quality assurance Software development process Software verification Fault Systems engineering Science Software testing
446	Alegria Baquero Contact Information Summary Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2015-01-21 16:10:10 Software Software quality Software testing Microsoft SQL Server Windows Server System Microsoft Access Verification and validation Software engineering Verification Relational database management systems Systems engineering Data management
447	Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-07-26 13:39:22 Parallel computing Application programming interfaces Model checking MPICH Application checkpointing Promela ISP Thread ISP Formal Verification Tool Computing Computer programming Software
448	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development
449	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science
450	Brillig Systems Success Story Project Profile – Ethanol Production Plant Client: Add to Reading List Source URL: www.brilligsys.com Language: English - Date: 2015-05-04 19:09:46 Project management Pharmaceutical industry Validity Science Business Verification and validation Design review System testing New-construction building commissioning Systems engineering Technology Software testing

UPDATE